- teiginys
- teiginỹs dkt. Pagrindi̇̀niai teòriniai teiginiai̇̃.
.
teiginys
Look at other dictionaries:
teiginys — statusas T sritis informatika apibrėžtis ↑Sakinys (2), įrašytas į programą jos veikimui toje vietoje patikrinti. Teiginio funkciją atlieka loginis ↑reiškinys, kurio reikšmė, esant teisingai programai, turi būti ↑tiesa. Vartojamas programos… … Enciklopedinis kompiuterijos žodynas
teiginys — teiginỹs sm. (3b) DŽ, NdŽ, (3a) RŽ, NdŽ 1. kas teigiama, tvirtinama; loginis, mokslinis tvirtinimas: Pagrindinis teiginys SkŽ352. Mokslo teiginiai yra tvirti kaip pati tikrovė rš. 2. lingv. teigimą reiškiantis žodis: Kableliais skiriami… … Dictionary of the Lithuanian Language
teiginys apie sveikumą — statusas Aprobuotas sritis visuomenės sveikata apibrėžtis Teiginys, kuriuo tiesiogiai ar netiesiogiai teigiama ar užsimenama, kad esama ryšio tarp maisto produkto kategorijos, maisto produkto ar vienos jo sudedamųjų dalių ir sveikatos. šaltinis… … Lithuanian dictionary (lietuvių žodynas)
assertion — teiginys statusas T sritis informatika apibrėžtis ↑Sakinys (2), įrašytas į programą jos veikimui toje vietoje patikrinti. Teiginio funkciją atlieka loginis ↑reiškinys, kurio reikšmė, esant teisingai programai, turi būti ↑tiesa. Vartojamas… … Enciklopedinis kompiuterijos žodynas
teorema — teoremà sf. (2) NdŽ, DŽ1 1. LL253 mat. teiginys, kurio teisingumu įsitikinama įrodymais: Tiesioginė ir atvirkštinė teorema Z.Žem. 2. LTEXI266 fil. dedukcinės teorijos teiginys, kurio teisingumas patvirtinamas įrodymu … Dictionary of the Lithuanian Language
tezė — tèzė sf. (2) TrpŽ, TŽŽ 1. DŽ, NdŽ teiginys, kuris turi būti įrodytas. 2. trumpai suformuluotas pagrindinis pranešimo, paskaitos teiginys: Konferencijos pranešimų tezės numatomos išleisti atskiru leidiniu KlbXXXVIII(1)116 … Dictionary of the Lithuanian Language
tezė — statusas T sritis švietimas apibrėžtis Teiginys, kurio teisingumą reikia įrodyti. kilmė gr. thesis – teiginys … Enciklopedinis edukologijos žodynas
ciklo invariantas — statusas T sritis informatika apibrėžtis ↑Teiginys, kuris yra teisingas prieš atliekant ciklą, nesikeičia (t. y. lieka teisingas) pakartojus kiekvieną ciklo veiksmą ir taip pat lieka teisingas baigus vykdyti ciklą. Plačiau žr. priede. priedas(… … Enciklopedinis kompiuterijos žodynas
loop invariant — ciklo invariantas statusas T sritis informatika apibrėžtis ↑Teiginys, kuris yra teisingas prieš atliekant ciklą, nesikeičia (t. y. lieka teisingas) pakartojus kiekvieną ciklo veiksmą ir taip pat lieka teisingas baigus vykdyti ciklą. Plačiau žr.… … Enciklopedinis kompiuterijos žodynas
false — netiesa statusas T sritis informatika apibrėžtis ↑Teiginio, ↑loginio reiškinio arba ↑sąlygos reikšmė, kai teiginys neteisingas arba sąlyga netenkinama. Žymima įvairiai: netiesa, false, FALSE, F, 0. Jeigu programavimo kalbos žymenys (↑baziniai… … Enciklopedinis kompiuterijos žodynas
